You can prove a non-linear system of differential equations exists over an interval and has a unique solution by using Theorem 6.1.